Constructing the Lyapunov Function through Solving Positive Dimensional Polynomial System
نویسندگان
چکیده
منابع مشابه
Matrix Eigenproblem Approach for A Class of Positive Dimensional Multivariate Polynomial System Solving
The matrix eigenproblem approach for zero-dimensional multivariate polynomial system solving has been studied. The purpose of this paper is to apply the approach to a class of positive dimensional multivariate polynomial system which is called pseudo zero-dimensional system. In this case we can decide its reducibility, and when it is reducible, a set of polynomial can be determined from the eig...
متن کاملConstructing Two-Dimensional Multi-Wavelet for Solving Two-Dimensional Fredholm Integral Equations
In this paper, a two-dimensional multi-wavelet is constructed in terms of Chebyshev polynomials. The constructed multi-wavelet is an orthonormal basis for space. By discretizing two-dimensional Fredholm integral equation reduce to a algebraic system. The obtained system is solved by the Galerkin method in the subspace of by using two-dimensional multi-wavelet bases. Because the bases of subs...
متن کاملLinear relaxations of polynomial positivity for polynomial Lyapunov function synthesis
We examine linear programming (LP) based relaxations for synthesizing polynomial Lyapunov functions to prove the stability of polynomial ODEs. Our approach starts from a desired parametric polynomial form of the polynomial Lyapunov function. Subsequently, we encode the positive-definiteness of the function, and the negation of its derivative, over the domain of interest. We first compare two cl...
متن کاملSolving Systems of Positive Polynomial Equations
In this thesis, we consider equation systems of the form X1 = f1(X1, . . . ,Xn) .. Xn = fn(X1, . . . ,Xn) where fi(X1, . . . ,Xn) is, for all i ∈ {1, . . . , n}, an expression built up from real-valued variables X1, . . . ,Xn, nonnegative real constants, and the operators multiplication, addition, minimum and maximum. We call such an equation system positive and denote it in vector form by X = ...
متن کاملThe Posso Library for Polynomial System Solving
The PoSSo library is a sophisticated library of tools for solving systems of polynomial equations. Each tool is supplied as a framework, rather than as a traditional program library or as a self-contained package, providing a unusual level of exibility. Each framework consists of a collection of C++ classes, which allows the customisation of each tool. Customisation can happen either at compile...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Mathematics
سال: 2013
ISSN: 1110-757X,1687-0042
DOI: 10.1155/2013/859578